Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
811	Intuition before Formalism References June 23, 2015 Relational post conditions: [Flo67, dBS69, Hoa69, Jon73, Jon80, Acz82, Jon86] Data abstraction/reification: [Luc68, Jon70, Jon80, Jon86, Mar86, Nip86, Jon07] Tool suppo Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-06-23 01:22:59 Software engineering Computer science Theoretical computer science Formal methods Fellows of the British Computer Society Logic in computer science Cliff Jones Dines Bjrner Models of computation Vienna Development Method David Gries Formal Aspects of Computing
812	Commoditizing Verification Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-15 23:23:06 Formal methods Logic in computer science Systems engineering Theoretical computer science Formal verification ESC/Java Verification Satisfiability modulo theories
813	* Manuscript Knowing Less is More: Observational Learning in Random Networks Julian Lorenz ∗ , Martin Marciniszyn and Angelika Steger Institute of Theoretical Computer Science, ETH Zurich, 8092 Zurich, Switzerland Add to Reading List Source URL: www.algorithmictradingpit.com Language: English - Date: 2014-02-26 08:06:52
814	RecapRecursion ......... Add to Reading List Source URL: genome.sph.umich.edu Language: English - Date: 2012-09-10 22:41:44 Theoretical computer science Mathematical logic Recursion Computability theory Mechanical puzzles Tower of Hanoi Algorithm Pointer Sorting algorithm
815	Groklaw: Why Software is Abstract, by PolR http://www.groklaw.net/article.php?story=Why Software is Abstract, by PolR Thursday, October @ 03:40 AM EDT Add to Reading List Source URL: ladoc.ffii.fr Language: English - Date: 2011-06-10 02:17:24 Law Theoretical computer science Computing Academia Patent law Formal sciences Algorithm Mathematical logic Patentable subject matter Software patent Abstraction Software
816	CAUCHY–DAVENPORT THEOREM IN GROUP EXTENSIONS 1 ´ GYULA KAROLYI Institute of Theoretical Computer Science, ETH Zentrum, Add to Reading List Source URL: www.cs.elte.hu Language: English - Date: 2005-07-28 13:29:52
817	Theoretical Properties and Heuristics for Tile Coding Peter Scopes Daniel Kudenko Department of Computer Science, Add to Reading List Source URL: swarmlab.unimaas.nl Language: English - Date: 2014-03-18 11:30:32
818	Volume 5, Issue 35 ■ 28AUG2015 Add to Reading List Source URL: www.defenseinnovationmarketplace.mil Language: English - Date: 2015-08-28 15:32:13 Emerging technologies Optics Theoretical computer science Physics Science Information theory Quantum computing Quantum cryptography Neuromorphic engineering Photonics Quantum mechanics Quantum optics
819	EMMA ENSTRÖM DOCTORAL THESIS IN COMPUTER SCIENCE STOCKHOLM, SWEDENOn Difficult Topics in Theoretical Computer Science Education Add to Reading List Source URL: kth.diva-portal.org Language: English - Date: 2014-09-29 03:26:05
820	Rounding Errors in Complex Floating-Point Multiplication Colin Percival IRMACS, Simon Fraser University Add to Reading List Source URL: www.daemonology.net Language: English - Date: 2006-08-06 05:27:53 Computer arithmetic Mathematics Computing Theoretical computer science Unit in the last place Rounding IEEE floating point NaN Double-precision floating-point format Q Denormal number Exponentiation

UPDATE